Specification and Simulation of Industrial Systems Using an Executable Mathematical Specification Language
نویسندگان
چکیده
Most present day simulation languages use ASCII characters for representation of models. ASCII characters are chosen, because of the requirements of present day computer implementations. In mathematics, on the other hand, symbolic representations are common place, because of better readability. In this article, the χ specification language is presented. The language is used for specification, simulation and control of industrial systems. It uses a symbolic notation that can be easily translated to an ASCII representation for simulation purposes. The χ language is hybrid: its continuous-time part is based on differential algebraic equations; its discrete-event part is based on a CSP-like concurrent programming language. The language constructs have been chosen in such a way, that they resemble mathematical notations. Future work includes the development of an automatic Chi-ASCII to χ -Latex translator.
منابع مشابه
An AsmL model for an Intelligent Vehicle Control System
An abstract state machine (ASM) is a mathematical model of the system’s evolving, runtime state. ASMs can be used to faithfully capture the abstract structure and step-wise behaviour of any discrete systems. An easy way to understand ASMs is to see them as defining a succession of states that may follow an initial state. We present a machine-executable model for an Intelligent Vehicle Control S...
متن کاملAnalysis of an Industrial System
Studying industrial systems by simulation enables the designer to study their dynamic behaviour and to determine characteristics of the system. Unfortunately, simulation also has some disadvantages. These can be overcome by using formal methods. Formal methods allow a thorough analysis of the possible behaviours of a system, parameterised system analysis and a modular approach to the analysis o...
متن کاملSerious Specification for Composing Components
We discuss the use of an industrial-strength specification language to specify component-level contracts for a product group within Microsoft. We outline how the specification language evolved to meet the needs of the component-based approach followed by that group. The specification language, AsmL, is executable which allows for testing to be done using runtime verification. Runtime verificati...
متن کاملA Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also has some disadvantages. These can be overcome by using formal methods. Formal methods allow a thorough analysis of the possible behaviours of a system, parameterised system analysis and a modular approach to the analysi...
متن کاملSimulation Model Development and Analysis in UNITY
We evaluate UNITY – a computational model, specification language and proof system defined by Chandy and Misra [5] for the development of parallel and distributed programs – as a platform for simulation model specification and analysis. We describe a UNITY-based methodology for the construction, analysis and execution of simulation models. The methodology starts with a simulation model specific...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997